Models of set theory from topological groups
نویسنده
چکیده
The Boolean prime ideal theorem is a very slightly weaker version of the axiom of choice. In 2011, Andreas Blass showed that models of set theory (with atoms) in which the Boolean prime ideal theorem holds but the full axiom of choice fails correspond with a certain type of topological group. The path taken to prove this surprising result draws not just from set theory but also from combinatorics, group theory and topology. My goal in this talk is to discuss this correspondence and the theory behind it, and to give a naturally occurring example.
منابع مشابه
QSPR study on benzene derivatives to some physico-chemical properties by using topological indices
QSPR study on benzene derivatives have been made using recently introduced topological methodology. In this study the relationship between the Randic' (x'), Balaban (J), Szeged (Sz),Harary (H), Wiener (W), HyperWiener and Wiener Polarity (WP) to the thermal energy (Eth), heat capacity (CV) and entropy (S) of benzene derivatives is represented. Physicochemical properties are taken from the quant...
متن کاملTopological structure on generalized approximation space related to n-arry relation
Classical structure of rough set theory was first formulated by Z. Pawlak in [6]. The foundation of its object classification is an equivalence binary relation and equivalence classes. The upper and lower approximation operations are two core notions in rough set theory. They can also be seenas a closure operator and an interior operator of the topology induced by an equivalence relation on a u...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملA note on quasi irresolute topological groups
In this study, we investigate the further properties of quasi irresolute topological groups defined in [20]. We show that if a group homomorphism f between quasi irresolute topological groups is irresolute at $e_G$, then $f$ is irresolute on $G$. Later we prove that in a semi-connected quasi irresolute topological group $(G,*,tau )$, if $V$ is any symmetric semi-open neighborhood of $e_G$, then...
متن کاملCategorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کامل